1. A Concise Introduction to Mathematical Logic
Author: by Wolfgang Rautenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. First-order dynamic logic
Author: Harel, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
6
.
H34
1979
3. First-order dynamic logic
Author: David Harel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L28
Vol
.
68
4. First-order dynamic logic
Author: Harel, David
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L4
v
.
68
